package kbl.language;

public interface StrategyNFA2DFA {
	public DFAState NFA2DFA(NFAState nfa);

	public void incDFAcount();

	public int getDFAcount();
	
	public boolean match(NFAState nfa, String input);
	
	public DFAIterator<testDFAStateWrapper> getIterator();
}